منابع مشابه
Integrating Simplify into Jive
In cooperation with University of Kaiserslautern, the Software Component Technology Group works on the Java Interactive Verification Environment, Jive. Jive allows one to interactively prove that JML annotated Java programs fulfill their specifications. Currently, the interactive theorem prover Isabelle is used for specification and verification of general properties that are not directly relat...
متن کاملSimplify Baldrige For Healthcare
s the popularity of the Malcolm Baldrige National Quality Award continues to grow, the healthcare industry has become increasingly interested in its benefits. The Malcolm Baldrige Model for Performance Excellence has now been widely emulated at local, national and international levels as a result of its success in creating strategic and operational performance improvement over the past 16 years...
متن کاملType isomorphisms simplify XML programming
A program that processes XML documents can be implemented using an XML data binding. Programming with an XML data binding can be painful, because the classes or types generated by the data binding are not in the style native to the host language. JAXB, a Java-XML data binding, supports binding customizations to mitigate this problem. Programming with a type-safe binding such as our HaskellXML d...
متن کاملSimplify p53: just an activator
'Simplify your life.' In research-contrasting such a popular concept-we are challenged by an ever-expanding plethora of observations and accumulation of knowledge. This leads to the development of increasingly complex models trying to explain all aspects of our world that are subject to scientific endeavor. Recently, a well-known object of study from the life sciences, the tumor suppressor p53,...
متن کاملAn Algorithm to Simplify Tensor Expressions
The problem of simplifying tensor expressions is addressed in two parts. The first part presents an algorithm designed to put tensor expressions into a canonical form, taking into account the symmetries with respect to index permutations and the renaming of dummy indices. The tensor indices are split into classes and a natural place for them is defined. The canonical form is the closest configu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communicative & Integrative Biology
سال: 2011
ISSN: 1942-0889
DOI: 10.4161/cib.4.2.14279